Functional verification - PDFSEARCH.IO - Document Search Engine

Functional verification
Results: 142

#	Item
61	AutoProof: Auto-active Functional Verification of Object-oriented Programs Julian Tschannen, Carlo A. Furia, Martin Nordio, and Nadia Polikarpova Chair of Software Engineering, Department of Computer Science, ETH Zurich, Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-01-15 04:33:24 Logic in computer science Object-oriented programming Formal methods Programming paradigms Eiffel Hardware verification languages Java Modeling Language Formal verification Postcondition Software engineering Computing Computer programming
62	A Fully Verified Container Library? Nadia Polikarpova1?? , Julian Tschannen2 , and Carlo A. Furia2 1 MIT CSAIL, USA Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-04-16 04:52:13 Computing Theoretical computer science Logic in computer science Hardware verification languages Formal verification Eiffel Functional verification E Software verification Software engineering Object-oriented programming Formal methods
63	Language-Based Verification Will Change The World Tim Sheard Aaron Stump Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:06 Type theory Logic in computer science Functional languages Data types Formal methods Formal verification Dependent type Isabelle Agda Software engineering Programming language theory Computing
64	Systematic Development of Programs for Parallel and Cloud Computing: Towards a Framework NII Lectures Series Fr´ed´eric Loulergue Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-10-30 02:04:09 Theoretical computer science Coq Mathematical logic Logic in computer science Proof assistant OCaml Formal verification Coenzyme Q10 Parallel computing Software Computing Functional languages
65	PowerShell Verified By PowerShell.org PowerShell Verified is a program that enables IT professionals to demonstrate cross-functional expertise with Windows PowerShell and related technologies. After registering for the p Add to Reading List Source URL: cdn.powershell.org Language: English - Date: 2013-11-29 11:23:11 Scripting languages Command shells Windows PowerShell Windows NT Environment variable Windows 8 Help Verification Parameter Computing Software engineering Software
66	Microsoft PowerPoint - MAPLD06DesignVerificationTutorial_v5.ppt Add to Reading List Source URL: www.klabs.org Language: English - Date: 2009-01-16 16:45:26 Hardware description languages E SystemVerilog Functional verification Formal verification Verilog SystemC Integrated circuit design Verification and validation Electronic engineering Electronic design automation Hardware verification languages
67	Functional Programming and Theorem Proving for Undergraduates: A Progress Report Carl Eastlund Rex Page Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Automated theorem proving Lisp programming language Theoretical computer science Logic in computer science Formal methods ACL2 Formal verification Logic programming J Strother Moore Computing Software engineering Computer programming
68	Automatic Verification for Interactive Graphical Programs Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Formal methods Functional languages Cross-platform software Automated theorem proving ACL2 Common Lisp Formal verification Lisp Software engineering Computing Computer programming
69	Proof General Organize your proofs! User Manual for Proof General 4.2pre January 2012 proofgeneral.inf.ed.ac.uk Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2015-04-19 00:44:55 Functional languages Proof assistant Mathematical logic Theoretical computer science Emacs Coq Isabelle Formal verification Mathematical proof Software Automated theorem proving Formal methods
70	Electrical Verification of the HP PA 8000 Processor Electrical verification applies techniques from both functional verification and reliability and environmental testing to improve the quality of the CPU. Electrical ver Add to Reading List Source URL: davesource.com Language: English - Date: 2009-11-19 18:03:25 Engineering Software testing Design for X Electrical engineering Shmoo plot Reliability engineering Shmoo Failure causes Debugging Failure Technology Systems engineering

UPDATE